翻訳と辞書 Words near each other ・ Robert Heath (footballer) ・ Robert Heath (mathematician) ・ Robert Heath Lock ・ Robert Heathcote ・ Robert Heatlie Scott ・ Robert Heaton ・ Robert Heaton Rhodes ・ Robert Heavener ・ Robert Hebert Quick ・ Robert Hecht ・ Robert Hecht-Nielsen ・ Robert Hecker ・ Robert Hedges ・ Robert Harper (actor) ・ Robert Harper (Australian politician) ・ Robert Harper (computer scientist) ・ Robert Harper (conveyancer) ・ Robert Harper Clarkson ・ Robert Harper Shumaker ・ Robert Harpur ・ Robert Harrild ・ Robert Harrill ・ Robert Harrington ・ Robert Harris ・ Robert Harris (American football) ・ Robert Harris (Anguilla) ・ Robert Harris (basketball) ・ Robert Harris (bishop) ・ Robert Harris (novelist) ・ Robert Harris (NP) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Robert Harper (computer scientist) ： ウィキペディア英語版 Robert Harper (computer scientist) Robert "Bob" William Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research. He made major contributions to the design of the Standard ML programming language and the LF logical framework. Harper was named an ACM Fellow in 2005. He was awarded this honor for his contributions to type systems for programming languages. ==Books== *Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. ''The Definition of Standard ML (Revised)''. MIT Press, 1997. *Robert Harper (editor). ''(Types in Compilation )''. Springer-Verlag Lecture Notes in Computer Science, volume 2071, 2001. *Robert Harper. ''(Type Systems for Programming Languages )''. Draft, 2000. *Robert Harper. ''(Programming in Standard ML )''. Working Draft, 2011. *Robert Harper. ''(Practical Foundations for Programming Languages )''. Working Draft, 2012. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Robert Harper (computer scientist)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.